#include <stdio.h>

int foo()
{
    printf("foo()\n");
}

int main(int argc, char **argv)
{
    int a = foo();
    printf("a=%d\n", a);

	return 0;
}
